225 research outputs found
Classes of structures with no intermediate isomorphism problems
We say that a theory is intermediate under effective reducibility if the
isomorphism problems among its computable models is neither hyperarithmetic nor
on top under effective reducibility. We prove that if an infinitary sentence
is uniformly effectively dense, a property we define in the paper, then no
extension of it is intermediate, at least when relativized to every oracle on a
cone. As an application we show that no infinitary sentence whose models are
all linear orderings is intermediate under effective reducibility relative to
every oracle on a cone
The Veblen functions for computability theorists
We study the computability-theoretic complexity and proof-theoretic strength
of the following statements: (1) "If X is a well-ordering, then so is
epsilon_X", and (2) "If X is a well-ordering, then so is phi(alpha,X)", where
alpha is a fixed computable ordinal and phi the two-placed Veblen function. For
the former statement, we show that omega iterations of the Turing jump are
necessary in the proof and that the statement is equivalent to ACA_0^+ over
RCA_0. To prove the latter statement we need to use omega^alpha iterations of
the Turing jump, and we show that the statement is equivalent to
Pi^0_{omega^alpha}-CA_0. Our proofs are purely computability-theoretic. We also
give a new proof of a result of Friedman: the statement "if X is a
well-ordering, then so is phi(X,0)" is equivalent to ATR_0 over RCA_0.Comment: 26 pages, 3 figures, to appear in Journal of Symbolic Logi
Independence in computable algebra
We give a sufficient condition for an algebraic structure to have a
computable presentation with a computable basis and a computable presentation
with no computable basis. We apply the condition to differentially closed, real
closed, and difference closed fields with the relevant notions of independence.
To cover these classes of structures we introduce a new technique of safe
extensions that was not necessary for the previously known results of this
kind. We will then apply our techniques to derive new corollaries on the number
of computable presentations of these structures. The condition also implies
classical and new results on vector spaces, algebraically closed fields,
torsion-free abelian groups and Archimedean ordered abelian groups.Comment: 24 page
The structural complexity of models of arithmetic
We calculate the possible Scott ranks of countable models of Peano
arithmetic. We show that no non-standard model can have Scott rank less than
and that non-standard models of true arithmetic must have Scott rank
greater than . Other than that there are no restrictions. By giving a
reduction via bi-interpretability from the class of
linear orderings to the canonical structural -jump of models of an
arbitrary completion of we show that every countable ordinal
is realized as the Scott rank of a model of
The -Vaught's Conjecture
We introduce the -Vaught's conjecture, a strengthening of the
infinitary Vaught's conjecture. We believe that if one were to prove the
infinitary Vaught's conjecture in a structural way without using techniques
from higher recursion theory, then the proof would probably be a proof of the
-Vaught's conjecture. We show the existence of an equivalent condition
to the -Vaught's conjecture and use this tool to show that all
infinitary sentences whose models are linear orders satisfy the
-Vaught's conjecture
- …